A judgment set similarity measure based on prime implicants
نویسندگان
چکیده
Distances and scores are widely used to measure similarity between collections of information, such as preference profiles, belief sets, judgment sets, argument labelings, etc. Defining a function that quantifies the similarity between information sets of logically interrelated information is nontrivial, as witnessed by the shortage of such quantifiers in the literature. We propose a similarity measure for judgment sets that is “sensitive” to logic dependencies among the judgments.
منابع مشابه
An Incremental Method for Generating Prime Implicants/Impicates
Given the recent investigation of Clause Management Systems (CMSs) for Artificial Intelligence applications, there is an urgent need for art efficient incremental method for generating prime implicants. Given a set of clauses 5 c, a set of prime implicants 1I of ~ and a clause C, the problem can be formulated as finding the set of prime implicaate for II t.J {C). Intuitively, the property of im...
متن کاملA Method for Generating all the Prime Implicants of Binary CNF Formulas
In this paper, we propose a method for generating all the prime implicants of a binary CNF formula. The main idea consists in using an algorithm for generating the maximal independent sets to compute all the primes implicants that cover a model. Such an approach mainly allows to reduce the number of calls to a SAT oracle. Before describing this algorithm, we propose a preprocessing method for r...
متن کاملOn Kernel Rule's and Prime Implicants
We draw a simple correspondence between kernel rules and prime s’mphznts. Kernel (minimal) rules play an important role in many induction techniques. Prime implicants were previously used to formally model many other problem domains, including Boolean circuit minimization and such classical AI problems as diagnosis, truth maintenance and circumscription. This correspondence allows computing ker...
متن کاملEnumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
In this paper, a new approach for enumerating the set prime implicants (PI) of a Boolean formula in conjunctive normal form (CNF) is proposed. It is based on an encoding of the input formula as a new one whose models correspond to the set of prime implicants of the original theory. This first PI enumeration approach is then enhanced by an original use of the boolean functions or gates usually i...
متن کاملPrime Implicants and Belief Update
Adaptation is one of the most important capabilities that an intelligent agent should present. In order to provide this capability to logical-based agents, the Belief Change area proposes methods to incorporate new information in a belief set. Properties like consistency and minimal change guide the change process. The notion of minimal change is usually associated with a closeness criterion ba...
متن کامل